Modelling Resilient Systems-of-Systems in Event-B
نویسندگان
چکیده
Ensuring resilience – the ability to remain dependable in dynamic environment – constitutes a major challenge for engineering systems-of-systems (SoS). In this paper, we take a mission-centric view on the behaviour of SoS and demonstrate how to formally reason about their dependability. We use Event-B as our modelling framework and demonstrate how to formally specify and verify generic system-wide dependability properties as well as the dynamic behaviour of SoS. The proposed approach is exemplified by a case study – a flight formation system. As a result, we argue that Event-B offers a scalable approach to formal modelling of SoS and facilitates engineering of resilient SoS.
منابع مشابه
Improving the Resilience of Military Hospitals Through Self-Adaptation of Hospital Systems Using Organic Computing
Background and Aim: Among the failures of a disaster, the disruption of the critical infrastructure of the community causes the most damage to society. Therefore, the ability of critical infrastructure such as hospitals to anticipate, absorb, adapt or rapidly recover from a devastating event is essential. The purpose of this study is to design a self-adaptive model for resilient hospital system...
متن کاملFormal Engineering of Resilient Systems: Achievements and Challenges
In this paper we overview the work on formal engineering of resilient systems carried out in the FP7 EU Deploy project. We discuss our experience and open issues. Keywords-resilience; formal modelling; Event-B
متن کاملDecentralized prognosis of fuzzy discrete-event systems
This paper gives a decentralized approach to the problem of failure prognosis in the framework of fuzzy discrete event systems (FDES). A notion of co-predictability is formalized for decentralized prognosis of FDESs, where several local agents with fuzzy observability rather than crisp observability are used in the prognosis task. An FDES is said to be co-predictable if each faulty event can be...
متن کاملRecent Developments in Discrete Event Systems
This article is a brief exposure of the process approach to a newly emerging area called "discrete event systems" in control theory and summarizes some of the recent developments in this area. Discrete event systems is an area of research that is developing within the interstices of computer, control and communication sciences. The basic direction of research addresses issues in the analysis an...
متن کاملIntegrated nutrient management using deoiled Jatropha cake for sustained and economic food production
With growing environmental and energy concerns, Jatropha plantations are promoted in degraded/waste lands for the biodiesel production. Nutrient rich nonedible deoiled seed cake, a by-product of Jatropha left out after oil extraction was evaluated at the ICRISAT centre at Patancheru, India as an environment friendly source of nutrients for rainy season maize and soybean followed by postrain...
متن کامل